предусловие

предусловие

Тематики

  • электросвязь, основные понятия

EN

  • precondition


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Нужен реферат?

Смотреть что такое "предусловие" в других словарях:

  • Предусловие — условие, истинность которого проверяется в начале выполнения тела цикла или процедуры. См. также: Операторы в языках программирования Операторы циклов Финансовый словарь Финам …   Финансовый словарь

  • Предусловие — 9.23 Предусловие предикат, задающий требования, которые должны быть справедливы для того, чтобы действие осуществилось. Источник …   Словарь-справочник терминов нормативно-технической документации

  • Предусловие связывания — 13.4.3 Предусловие связывания набор условий, требуемых для успешного выполнения связывающего поведения. Объекты, осуществляющие связывающее поведение, должны иметь идентификаторы для всех интерфейсов, участвующих в связывании. Могут существовать… …   Словарь-справочник терминов нормативно-технической документации

  • предусловие — предусл овие, я …   Русский орфографический словарь

  • Слабейшее предусловие — Преобразователи предикатов расширение логики Флойда Хоара, сделанное Э. Дейкстрой. Впервые появившись в [1][1], с помощью этого метода определяется семантика императивного программирования и соответствующего языка. В нём каждой команде языка… …   Википедия

  • слабейшее предусловие — слабейшее входное условие — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия Синонимы слабейшее входное условие EN weakest precondition …   Справочник технического переводчика

  • ГОСТ Р ИСО/МЭК 10746-2-2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель — Терминология ГОСТ Р ИСО/МЭК 10746 2 2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель оригинал документа: 6.3 Абстракция процесс отбрасывания… …   Словарь-справочник терминов нормативно-технической документации

  • Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules)  формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… …   Википедия

  • входное условие — предусловие — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом Синонимы предусловие EN precondition …   Справочник технического переводчика

  • ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»